Verification of Session Initiation Protocol Using Timed Colored Petri Net
نویسندگان
چکیده
منابع مشابه
Verification of Session Initiation Protocol Using Timed Colored Petri Net
In this work, Session Initiation Protocol model is established by using Timed Colored Petri Nets (TCPN). SIP (Session Initiation Protocol) is a protocol developed to assist in providing advanced telephony services across the Internet. The Session Initiation Protocol (SIP) has become the quasi-standard for VoiceoverInternet Protocol (VoIP) communications. SIP is based on a client-server infrastr...
متن کاملSecurity testing of session initiation protocol implementations
The mechanisms which enable the vast majority of computer attacks are based on design and programming errors in networked applications. The growing use of voice over IP (VOIP) phone technology makes these phone applications potential targets. We present a tool to perform security testing of VOIP applications to identify security vulnerabilities which can be exploited by an attacker. Session Ini...
متن کاملTimed Colored Petri Net Models of Distributed Memory Multithreaded Multiprocessors
Distributed{memory multithreaded multiprocessors are composed of a number of (multithreaded) processors, each with its memory, and an interconnecting network. The long memory latencies and synchronization delays are tolerated by context switching, i.e., by suspending the current thread and switching the processor to another `ready' thread provided such a thread is available. Because of very sim...
متن کاملTimed Colored Petri Nets Based
Abstract: Aero-engines maintenance procedure can be treated as a typical discrete event dynamic system. A theory that synthesized timed colored Petri net is proposed. The theory adopts a bottom-up approach by merging all sub modules, and each one characterizes the critical resource contention among processes. Nevertheless Petri net seems inapplicable to dynamic scheduling modelling because of i...
متن کاملIntegrated Manufacturing System Modeling and Simulation Using Distributed Colored Timed Petri Net
In this paper, an integrated and distributed modeling and simulation environment is developed for the next generation manufacturing systems. A distributed colored timed Petri net (DCTPN) is the modeling techniques for the proposed environment. Based on the DCTPN, the shop floor process and the manufacturing execution system (MES) can be integrated horizontally and vertically. In addition, a com...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Communications, Network and System Sciences
سال: 2011
ISSN: 1913-3715,1913-3723
DOI: 10.4236/ijcns.2011.43021